Coercion-resistance as Opacity in Voting Systems
نویسندگان
چکیده
Coercion-resistance is one of the key requirements of voting systems as it prevents an outsider from trying to persuade the voter to vote in a certain way. Although it usually implies receipt-freeness [15], it is usually formalised as a stronger property [23]. In this paper we analyse two voting schemes for coercion-resistance, namely Prêt à Voter [12] and FOO [17], and find that many of the requirements can be expressed in terms of a fairly recent security property, opacity [5]. We then present a new formalisation of coercion-resistance by casting it as opacity. © 2006 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details PEACOCK, T., RYAN, P. Y. A.. Coercion-resistance as Opacity in Voting Systems [By] T. Peacock, P. Y. A. Ryan. Newcastle upon Tyne: University of Newcastle upon Tyne: Computing Science, 2006. (University of Newcastle upon Tyne, Computing Science, Technical Report Series, No. CS-TR-959)
منابع مشابه
Proving Coercion-Resistance of Scantegrity II
Recently, Küsters, Truderung, and Vogt have proposed a simple, yet widely applicable and formal definition of coercion-resistance for voting protocols, which allows to precisely quantify the level of coercion-resistance a protocol provides. In this paper, we use their definition to analyze coercion-resistance of Scantegrity II, one of the most prominent voting systems used in practice. We show ...
متن کاملCoercion-Resistant Hybrid Voting Systems
This paper proposes hybrid voting systems as a solution for the vote buying and voter coercion problem of electronic voting systems. The key idea is to allow voters to revoke and overrule their electronic votes at the polling station. We analyze the potential and pitfalls of such revocation procedures and give concrete recommendations on how to build a hybrid system offering coercion-resistance...
متن کاملCoercion-Resistant Hybrid Voting Systems
This paper proposes hybrid voting systems as a solution for the vote buying and voter coercion problem of electronic voting systems. The key idea is to allow voters to revoke and overrule their electronic votes at the polling station. We analyze the potential and pitfalls of such revocation procedures and give concrete recommendations on how to build a hybrid system offering coercion-resistance...
متن کاملA Receipt-free Coercion-resistant Remote Internet Voting Protocol without Physical Assumptions through Deniable Encryption and Trapdoor Commitment Scheme
The secure remote Internet voting protocol play an important role in Internet voting system. The direction of development of remote Internet voting protocol is that implementation of receipt-freeness and coercion-resistance is from with strong physical assumptions to with weak physical assumptions. The final purpose is that receiptfreeness and coercion-resistance is implemented without physical...
متن کاملAn e-Voting Scheme with Improved Resistance to Bribe and Coercion
Bribe and coercion are common in conventional voting systems and usually will lead to a biased result that imparts the desired democracy. However, these problems become more difficult to solve when using e-voting schemes. Up to now, many e-voting schemes have been proposed to provide receipt-freeness and uncoercibility to solve these problems. Unfortunately, none is both secure and practical en...
متن کامل